How to Make Theoretically Passive Reduced-Order Models Passive in Practice

| This paper demonstrates that, in general, implementations of circuit reduction methods can produce unstable and non-passive models even when such outcomes are theoretically proven to be impossible. The reason for this apparent contradiction is the numeric roundo inherent in any nite-precision computer implementation. This paper introduces a new variant of the symmetric, multiport, Pad e via Lanczos algorithm (SyMPVL) that, even in practice, is guaranteed to produce stable and passive models for all the circuits characterized by pairs of symmetric, positive semide nite matrices. The algorithm is based by a new band Lanczos process with coupled recurrences. A number of circuit examples are used to illustrate the results.